You have chosen search rpm in world FTP resources.
Not enough search parameters. I'm using defaults.
Display 601 - 640 hits of 1035. Search took 0.01 seconds.

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

Search results for coq :

Filename	Distribution	File size
coq-coqide-server-debuginfo-8.18.0-10.fc41.s390x.rpm	Rawhide	2438 kB
coq-coqide-server-debuginfo-8.18.0-10.fc41.s390x.rpm	Fedora Other	2438 kB
coq-coqide-server-debuginfo-8.18.0-10.fc41.ppc64le.rpm	Rawhide	3273 kB
coq-coqide-server-debuginfo-8.18.0-10.fc41.ppc64le.rpm	Fedora Other	3273 kB
coq-coqide-server-debuginfo-8.18.0-10.fc41.aarch64.rpm	Rawhide	3266 kB
coq-coqide-server-debuginfo-8.18.0-10.fc41.aarch64.rpm	Fedora Other	3266 kB
coq-coqide-server-debuginfo-8.18.0-1.fc39.x86_64.rpm	Fedora 39	3654 kB	Info
coq-coqide-server-debuginfo-8.18.0-1.fc39.aarch64.rpm	Fedora 39	3428 kB
coq-coqide-server-debuginfo-8.17.1-5.fc39.x86_64.rpm	Fedora 39	3463 kB	Info
coq-coqide-server-debuginfo-8.17.1-5.fc39.aarch64.rpm	Fedora 39	3191 kB
coq-coqide-server-8.18.0-4.fc40.x86_64.rpm	Fedora 40	27522 kB
coq-coqide-server-8.18.0-4.fc40.s390x.rpm	Fedora 40	29322 kB
coq-coqide-server-8.18.0-4.fc40.aarch64.rpm	Fedora 40	29754 kB
coq-coqide-server-8.18.0-10.fc41.x86_64.rpm	Rawhide	28945 kB
coq-coqide-server-8.18.0-10.fc41.x86_64.rpm	Fedora Other	28945 kB
coq-coqide-server-8.18.0-10.fc41.s390x.rpm	Rawhide	30271 kB
coq-coqide-server-8.18.0-10.fc41.s390x.rpm	Fedora Other	30271 kB
coq-coqide-server-8.18.0-10.fc41.ppc64le.rpm	Rawhide	29215 kB
coq-coqide-server-8.18.0-10.fc41.ppc64le.rpm	Fedora Other	29215 kB
coq-coqide-server-8.18.0-10.fc41.aarch64.rpm	Rawhide	29689 kB
coq-coqide-server-8.18.0-10.fc41.aarch64.rpm	Fedora Other	29689 kB
coq-coqide-server-8.18.0-1.fc39.x86_64.rpm	Fedora 39	28799 kB
coq-coqide-server-8.18.0-1.fc39.aarch64.rpm	Fedora 39	30015 kB
coq-coqide-server-8.17.1-5.fc39.x86_64.rpm	Fedora 39	27835 kB
coq-coqide-server-8.17.1-5.fc39.aarch64.rpm	Fedora 39	28900 kB
coq-coqide-server-8.17.1-1.fc38.x86_64.rpm	Fedora 38	21201 kB
coq-coqide-server-8.16.1-3.fc38.x86_64.rpm	Fedora 38	21165 kB
coq-coqide-server-8.16.1-1.fc37.x86_64.rpm	Fedora 37	21165 kB
coq-coqide-server-8.16.0-1.fc37.x86_64.rpm	Fedora 37	21150 kB
coq-coqide-server-8.15.2-2.fc36.x86_64.rpm	Fedora 36	20429 kB	Info
coq-coqide-server-8.15.1-1.fc36.x86_64.rpm	Fedora 36	20367 kB	Info
coq-coqide-server-8.13.2-4.fc35.x86_64.rpm	Fedora 35	5404 kB	Info
coq-coqide-server-8.13.2-3.fc35.x86_64.rpm	Fedora 35	5396 kB	Info
coq-coqide-server-8.13.2-1.fc34.x86_64.rpm	Fedora 34	5358 kB	Info
coq-coqide-server-8.13.1-1.fc34.x86_64.rpm	Fedora 34	5336 kB	Info
coq-coqide-server-8.12.2-1.fc33.x86_64.rpm	Fedora 33	20102 kB	Info
coq-coqide-server-8.12.0-3.fc33.1.x86_64.rpm	Fedora 33	20077 kB	Info
coq-coqide-debuginfo-8.18.0-4.fc40.x86_64.rpm	Fedora 40	943 kB	Info
coq-coqide-debuginfo-8.18.0-4.fc40.s390x.rpm	Fedora 40	779 kB
coq-coqide-debuginfo-8.18.0-4.fc40.aarch64.rpm	Fedora 40	916 kB

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26